Wyniki
-
Gabbay-style calculi
Szabolcs Mikulas
Bulletin of the Section of Logic , 22 /2 (1993) s. 50-60 -
The completeness of the Lambek calculus with respect to relational semantics
Szabolcs Mikulas
Bulletin of the Section of Logic , 21 /2 (1992) s. 55-66 -
The completeness of the Lambek calculus with respect to relational semantics
Szabolcs Mikulas
Bulletin of the Section of Logic , 21 /2 (1992) s. 55-66 -
Complexity of equational theory of relational algebras with projection elements
Szabolcs Mikulas, Ildiko Sain, Andras Simon
Bulletin of the Section of Logic , 21 /3 (1992) s. 103-111